Functional Abstract Interpretation
simon.peytonjones.org·1d·
Discuss: Hacker News
🔗Functional Compilers
Heterogeneous Dynamic Logic: Provability Modulo Program Theories
arxiv.org·1d
🧠Computational Logic
Cactus Language • Stylistics 4
inquiryintoinquiry.com·12h
🌳Context free grammars
Types That Count: Journey across Qualitative and Quantitative Intersection Types
iris.unito.it·1d·
Discuss: Hacker News
🔍Type Inference
What can we expect of LLMs as Software Engineers?
chelseatroy.com·1d
📝Text Parsing
A Rust shaped hole
ente.io·2d
🦀Rust Macros
Future-Proof Programming Languages
log.schemescape.com·1d·
Discuss: Hacker News
💻programming languages
Historical highlights?
logicmatters.net·16h
🔀Category Theory
Connecting legibility to theory building in programming
ashwinsundar.com·10h·
Discuss: Hacker News
🦀Rust Macros
Python Fundamentals: build
dev.to·14h·
Discuss: DEV
🔄Reproducible Builds
Understanding TypeScript A Beginner-Friendly Dive Into Types
blog.codeminer42.com·10h
🎯Gradual Typing
Can the Law Compile? Legal Speech as Machine Code
hackernoon.com·1d
📝Concrete Syntax
Programming Language Theory has a public relations problem
happyfellow.bearblog.dev·2d·
Discuss: Lobsters, Hacker News, r/programming
🔬Lean
I Built a Testable Recursive Theory of Language Models Using GPT – It Works
news.ycombinator.com·3d·
Discuss: Hacker News
🔤Type Theory
FSM Library for Embedded C Projects
hackster.io·2d
🦀Embedded Rust
Pointwise definable end-extensions of models of arithmetic and set theory, Changchun, China, July 2025
jdh.hamkins.org·1d
🏗️Constructive Mathematics
Defeating Memory Leaks With Zig Allocators
tgmatos.github.io·12h·
Discuss: Hacker News, r/programming
🔒Type Safety
Reflecting on PLDI 2025
people.csail.mit.edu·2d·
Discuss: Hacker News
🌐Protocol Synthesis
Inheritance over composition, sometimes
death.andgravity.com·20h
🦀Rust Macros
Why Hoon?
docs.urbit.org·1d·
Discuss: Hacker News
🐚Bash Monads